تعداد ۲۵ پاسخ غیر تکراری از ۲۵ پاسخ تکراری در مدت زمان ۱,۵۶ ثانیه یافت شد.

1. Central European Functional Programming School

پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرم‌افزار -- مهندسی

رده :

QA

76

.

62

.

C4

2015

E-Book

,

2. Engineering theories of software construction

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering

رده :

QA

76

.

758

.

N388

2000

3. Engineering trustworthy software systems :

پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

758

4. Formal methods and software engineering :

پدیدآورنده : Jing Sun, Meng Sun (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

9

.

F67

5. Foundations of software science and computation structures :

پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

751

.

F67

2018eb

6. Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings

پدیدآورنده : edited by S.N. Maheshwari

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(

رده :

QA

76

.

L4

v

.

206

7. Generative programming and component engineering

پدیدآورنده : Robert Glück, Michael Lowry (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses.,Generative programming (Computer science), Congresses.,Software engineering, Congresses.

8. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings

پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

2487

9. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings

پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

3286

10. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

2830

11. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings

پدیدآورنده : Robert Gluck, Michael Lowry )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering

رده :

QA

76

.

L28

Vol

.

3676

12. Implementation and application of functional language

پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

رده :

QA76

.

62

.

I58

2010

13. Multicore Software Engineering, Performance, and Tools

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرم‌افزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها

رده :

E-Book

,

14. Proceedings

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Software engineering,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

N373a

15. Proceedings : 29th International Conference on Software Engineering : ICSE 2007, 20-26 May 2007, Minneapolis, Minnesota

پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(

کتابخانه: (طهران)

موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

758

.

I5

2007

16. Proceedings : 29th International Conference on Software Engineering : ICSE 2007 companion volume, 20-26 May 2007, Minneapolis, Minnesota

پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering )SIGSOFT(

کتابخانه: (طهران)

موضوع : Congresses ، Software engineering,Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

758

.

I5

2007

Comp

.

17. Programming languages and systems :

پدیدآورنده : Gilles Barthe (edition)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses

رده :

QA76

.

6

.

E97

2011

18. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(

کتابخانه: (طهران)

موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

3466

19. Software and data technologies :

پدیدآورنده : José Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Computer software-- Development, Congresses,Software engineering, Congresses,Computer software, Congresses,Database management, Congresses,Software engineering, Congresses

رده :

QA76

.

76

.

D47

I27

2011

20. Software language engineering

پدیدآورنده : Brian Malloy, Steffen Staab, Mark van den Brand (eds.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Software engineering, Congresses

رده :

QA76

.

758

.

S54

2011

»
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها